The Consistency of ZFC + CIFS
نویسندگان
چکیده
This paper is a technical continuation of “Natural Axiom Schemata Extending ZFC. Truth in the Universe?” In that paper we argue that CIFS is a natural axiom schema for the universe of sets. In particular it is a natural closure condition on V and a natural generalization of IFS(L). Here we shall prove the consistency of ZFC + CIFS relative to the existence of a transitive model of ZFC using the compactness theorem together with a class forcing.
منابع مشابه
On the axiom of union
In this paper, we study the union axiom of ZFC. After a brief introduction, we sketch a proof of the folklore result that union is independent of the other axioms of ZFC. In the third section, we prove some results in the theory T:= ZFC minus union. Finally, we show that the consistency of T plus the existence of an inaccessible cardinal proves the consistency of ZFC.
متن کاملJ-2 Consistency Results in Topology, I: Quotable Principles
A noteworthy feature of general topology – as contrasted with geometry, number theory, and most other fields of mathematics – is that many of its fundamental questions are not decided by " the usual axioms of set theory ". What this means is that if one codifies the set-theoretic assumptions used implicitly in ordinary mathematics and consolidates these in a list of axioms – the usual axioms of...
متن کاملRowbottom cardinals without the Axiom of Choice
We show that for all natural numbers n, the theory “ZF +DCאn + אω is a Rowbottom cardinal carrying a Rowbottom filter” has the same consistency strength as the theory “ZFC + There exists a measurable cardinal”. In addition, we show that the theory “ZF + אω1 is an ω2-Rowbottom cardinal carrying an ω2-Rowbottom filter and ω1 is regular” has the same consistency strength as the theory “ZFC + There...
متن کاملA Divine Consistency Proof for Mathematics
We present familiar principles involving objects and classes (of objects), pairing (on objects), choice (selecting elements from classes), positive classes (elements of an ultrafilter), and definable classes (definable using the preceding notions). We also postulate the existence of a divine object in the formalized sense that it lies in every definable positive class. ZFC (even extended with c...
متن کاملLocalizing the axioms
We examine what happens if we replace ZFC with a localistic/relativistic system, LZFC, whose central new axiom, denoted by Loc(ZFC), says that every set belongs to a transitive model of ZFC. LZFC consists of Loc(ZFC) plus some elementary axioms forming Basic Set Theory (BST). Some theoretical reasons for this shift of view are given. All Π2 consequences of ZFC are provable in LZFC. LZFC strongl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008